Problem Id

نویسندگان

  • Ulrich Herzog
  • Michael Rettelbach
چکیده

We introduce Stochastic Process Algebras as a novel approach for the struc-tured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras. After advocating the use of stochastic process algebras as a modelling technique we recapitulate the foundations of classical process algebras. Then we present extensions of process algebras such that the requirements of performance analysis are taken into account. Examples illustrate the methodological advantages that are gained. There are three fundamental categories of attributes indispensable for the viability of any technical system: functionality, performance and economicity Fer86]. However, it is not unusual for a system to be fully designed and functionally tested before an attempt is made to determine its performance characteristics Har86]: Redesign of both hardware and software is usually the consequence; this is costly and may cause late system delivery. This is particularly true for real-time systems and a dramatic misdesign of mobile communication ground stations has occurred only recently.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

What is a problem?

Among others, the term "problem" plays a major role in the various attempts to characterize interdisciplinarity or transdisciplinarity, as used synonymously in this paper. Interdisciplinarity (ID) is regarded as "problem solving among science, technology and society" and as "problem orientation beyond disciplinary constraints" (cf. Frodeman et al.: The Oxford Handbook of Interdisciplinarity. Ox...

متن کامل

Practical Identification Schemes as Secure as the DL and RSA problems (Submission to P1363a)

We present a practical three-move interactive identification scheme, ID-DL, and prove it to be as secure as the discrete logarithm problem. ID-DL is almost as efficient as the Schnorr identification scheme, which is not provably secure. We also present another practical identification scheme, ID-RSA, which is proven to be as secure as the RSA problem and almost as efficient as the Guillou-Quisq...

متن کامل

R4-A.2: Rapid Forensic Search & Retrieval in Video Archives

Person re-identifi cation (re-id) is an important problem for monitoring & surveillance at airports. This is emerging as a critical problem with the pervasive use of camera networks in surveillance systems. Re-id deals with maintaining identities of individuals traversing different cameras. The goal of person re-id is to maintain the identity of an individual in diverse locations through differ...

متن کامل

A Multi-Agent architecture for intelligent gathering systems

Problem Obtain Integrate Answers from WebAgents Send Queries WebAgents Cooperation Build Queries Solutions Integrate ...... ID−code:1.2.4 Validate Solutions ...... ID−code:1.2.5 Call Planner Planning ID−code:1.2.3.1 ID−code:1.2

متن کامل

Prevalence of Feeding Problems in Children with Intellectual Disability

Objectives: Feeding is an essential function which affects quality of life of the intellectually disabled (ID) persons. Approximately 80% of the severe and profound mentally retarded population have some feeding difficulties. This study aimed to determine the prevalence of feeding problems in children with ID. Methods: In this cross-sectional descriptive study, 144 individuals with Intellect...

متن کامل

Developmental course of psychopathology in youths with and without intellectual disabilities.

BACKGROUND We aimed to describe similarities and differences in the developmental course of psychopathology between children with and without intellectual disabilities (ID). METHODS Multilevel growth curve analysis was used to analyse the developmental course of psychopathology, using the Child Behavior Checklist (CBCL), in two longitudinal multiple-birth-cohort samples of 6- to 18-year-old c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993